Two Torsion in the Brauer Group of a Hyperelliptic Curve
نویسندگان
چکیده
We construct unramified central simple algebras representing 2-torsion classes in the Brauer group of a hyperelliptic curve, and show that every 2-torsion class can be constructed this way when the curve has a rational Weierstrass point or when the base field is C1. In general, we show that a large (but in general proper) subgroup of the 2torsion classes are given by the construction. Examples demonstrating applications to the arithmetic of hyperelliptic curves defined over number fields are given.
منابع مشابه
CYCLIC LENGTH IN THE TAME BRAUER GROUP OF THE FUNCTION FIELD OF A p-ADIC CURVE
Let F be the function field of a smooth curve over the p-adic number field Qp. We show that for each prime-to-p number n the n-torsion subgroup H(F, μn) = nBr(F ) is generated by Z/n-cyclic classes; in fact the Z/n-length is equal to two. It follows that the Brauer dimension of F is two (first proved in [20]), and any F -division algebra of period n and index n is decomposable.
متن کاملSome Remarks on Brauer Groups of K3 Surfaces
We discuss the geometry of the genus one fibrations associated to an elliptic fibration on a K3 surface. We show that the two-torsion subgroup of the Brauer group of a general elliptic fibration is naturally isomorphic to the two-torsion of the Jacobian of a curve associated to the fibration. We remark that this is related to Recillas’ trigonal construction. Finally we discuss the two-torsion i...
متن کاملGenerators of Jacobians of Hyperelliptic Curves
This paper provides a probabilistic algorithm to determine generators of the m-torsion subgroup of the Jacobian of a hyperelliptic curve of genus two.
متن کاملThe Vector Decomposition Problem for Elliptic and Hyperelliptic Curves
The group of m-torsion points on an elliptic curve, for a prime number m, forms a two-dimensional vector space. It was suggested and proven by Yoshida that under certain conditions the vector decomposition problem (VDP) on a two-dimensional vector space is at least as hard as the computational Diffie-Hellman problem (CDHP) on a one-dimensional subspace. In this work we show that even though thi...
متن کاملA Density Result for Real Hyperelliptic Curves
Let {∞+,∞−} be the two points above ∞ on the real hyperelliptic curve H : y = (x − 1) ∏2g i=1(x− ai). We show that the divisor ([∞ ]− [∞−]) is torsion in Jac J for a dense set of (a1, a2, . . . , a2g) ∈ (−1, 1). In fact, we prove by degeneration to a nodal P that an associated period map has derivative generically of full rank.
متن کامل